
function redirect(a) {
    a.lastIndexOf("/.") > 0 ? a = a.replace(/\/(\.[a-zA-Z]+)([0-9]+)$/g, "/$2$1") : a.match(/\/([a-z]+).html([0-9]+)$/) ? a = a.replace(/\/([a-z]+).html([0-9]+)$/, "/$1-$2.html") : a.match(/-.html([0-9]+)$/) && (a = a.replace(/-.html([0-9]+)$/, "-$1.html"));
    a.indexOf("://") == -1 && a.substr(0, 1) != "/" && a.substr(0, 1) != "?" && (a = $("base").attr("href") + a);
    location.href = a
}